3241. The temporal logic of reactive and concurrent systems
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3564
1991
3242. The tomes of Delphi
Author: / Alan C. Moore and John C. Penman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development,Delphi (Computer file),Telecommunication systems
Classification :
QA76
.
76
.
D47
,
M665
2003
3243. The ultimate algorithmic trading system toolbox + website :
Author: George Pruitt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic trading of securities.,Futures.,Investment analysis.
Classification :
HG4515
.
95
3244. Theoretical approaches to non-numerical problem solving :
Author: Hermann Balzer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
3245. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
3246. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
3247. Theoretical aspects of evolutionary computing
Author: Leila Kallel, Bart Naudts, Alex Rogers (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
3248. Theory and Design of Digital Computer Systems
Author: by Douglas Lewin, David Noaks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Microprogramming.
Classification :
TK7888
.
3
B936
1992
3249. Theory and Practice of Geometric Modeling
Author: edited by Wolfgang Stra€er, Hans-Peter Seidel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware.,Computer science.,Software engineering.
3250. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
3251. Theory and Practice of Parallel Programming :
Author: edited by Takayasu Ito, Akinori Yonezawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer system failures.,Microprocessors.
Classification :
TK7895
.
M5
E358
1995
3252. Theory and design of CNC systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: tools ; Numerical control ; Programming. ; -tools ; Numerical control. ; Machine-Machine
3253. Theory and design of CNC systems
Author: / Suk-Hwan Suh ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine-tools--Numerical control,Machine-tools--Numerical control--Programming
Classification :
TJ
,
1189
,.
T42
,
2008
3254. Theory and practice of natural computing :
Author: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
Classification :
QA76
.
9
.
A43
3255. Theory and practice of uncertain programming /
Author: Boading Liu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,Decision support systems,Mathematical optimization,Soft computing
Classification :
QA76
.
6
.
L5768
2002
3256. Theory of Coronoid Hydrocarbons II
Author: by S.J. Cyvin, J. Brunvoll, B.N. Cyvin, R.S. Chen, F.J. Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Annulenes.,Chemistry.,Combinatorial analysis.
Classification :
QD341
.
A83
B975
1994
3257. Thinking-driven testing :
Author: Adam Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
Classification :
QA76
.
758
3258. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
3259. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3260. Time-space, spiking neural networks and brain-inspired artificial intelligence /
Author: Nikola K. Kasabov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational neuroscience.,Machine learning.,Neural networks (Computer science),Object-oriented methods (Computer science),Artificial intelligence.,Computational neuroscience.,COMPUTERS-- Programming-- Object Oriented.,Life sciences: general issues.,Machine learning.,Neural networks (Computer science),Neurosciences.,Object-oriented methods (Computer science),Pattern recognition.,Robotics.
Classification :
QA76
.
9
.
O35
